let last_label = ref (-1)

type label = {id : int; name : string}

let new_label() =
  incr last_label;
  {id = !last_label; name = "L"^(string_of_int !last_label)}
;;

let named_label(n) =
  incr last_label;
  {id = !last_label; name = (String.uppercase(n))^"_"^(string_of_int !last_label)}

let label_name(lbl) = 
	lbl.name;